2

Logic programming

Année:
1985
Langue:
english
Fichier:
PDF, 4.45 MB
english, 1985
3

Counterfactuals

Année:
1986
Langue:
english
Fichier:
PDF, 2.32 MB
english, 1986
4

A circumscriptive theorem prover

Année:
1989
Langue:
english
Fichier:
PDF, 824 KB
english, 1989
5

The society of mind: Marvin Minsky

Année:
1991
Langue:
english
Fichier:
PDF, 240 KB
english, 1991
6

The Crossword Solver DR.FILL

Année:
2012
Langue:
english
Fichier:
PDF, 270 KB
english, 2012
7

Reasoning about action I: A possible worlds approach

Année:
1988
Langue:
english
Fichier:
PDF, 1.55 MB
english, 1988
8

Reasoning about action II: The qualification problem

Année:
1988
Langue:
english
Fichier:
PDF, 1.46 MB
english, 1988
10

Scattering Theory and the Geometry of Multi-Twistor Spaces

Année:
1983
Langue:
english
Fichier:
PDF, 2.01 MB
english, 1983
11

Duality in twistor theory

Année:
1981
Langue:
english
Fichier:
PDF, 1.57 MB
english, 1981
13

Controlling recursive inference

Année:
1986
Langue:
english
Fichier:
PDF, 2.17 MB
english, 1986
14

Iterative broadening

Année:
1992
Langue:
english
Fichier:
PDF, 753 KB
english, 1992
15

Approximate planning

Année:
1995
Langue:
english
Fichier:
PDF, 2.27 MB
english, 1995
16

Reply to Cheeseman's An inquiry into computer understanding

Année:
1988
Langue:
english
Fichier:
PDF, 253 KB
english, 1988
17

PROLEGOMENA TO ANY FUTURE PROLEGOMENA

Année:
1992
Langue:
english
Fichier:
PDF, 254 KB
english, 1992
18

Bilattices and Modal Operators

Année:
1990
Langue:
english
Fichier:
PDF, 1.32 MB
english, 1990
19

Epistemological and heuristic adequacy revisited

Année:
1995
Langue:
english
Fichier:
PDF, 198 KB
english, 1995
20

Green's Functions Coupled to Self-Dual Maxwell Fields

Année:
1983
Langue:
english
Fichier:
PDF, 264 KB
english, 1983
21

Combining satisfiability techniques from AI and OR

Année:
2000
Langue:
english
Fichier:
PDF, 338 KB
english, 2000
22

Dr.Fill: Crosswords and an implemented solver for singly weighted CSPs

Année:
2011
Langue:
english
Fichier:
PDF, 528 KB
english, 2011
23

Scattering theory and the geometry of multitwistor spaces

Année:
1983
Langue:
english
Fichier:
PDF, 1.94 MB
english, 1983
27

REPORT ON THE 1999 WORLD COMPUTER-BRIDGE CHAMPIONSHIP

Année:
2000
Fichier:
PDF, 656 KB
2000
28

From popular to personal democracy

Année:
2003
Langue:
english
Fichier:
PDF, 114 KB
english, 2003
29

Negative subgoals with free variables

Année:
1991
Langue:
english
Fichier:
PDF, 1.65 MB
english, 1991
30

Modality and interrupts

Année:
1995
Langue:
english
Fichier:
PDF, 3.15 MB
english, 1995
42

Iraq Is Not Our Fault

Année:
2008
Langue:
english
Fichier:
PDF, 1.18 MB
english, 2008
49

The MVL theorem proving system

Année:
1991
Langue:
english
Fichier:
PDF, 291 KB
english, 1991